Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
381	The Default OLP Configuration File open-logic-config.sty OpenLogic Project[removed]02780ba Description Add to Reading List Source URL: people.ucalgary.ca Language: English - Date: 2015-03-30 12:13:09 Predicate logic Logical syntax Metalogic Well-formed formula Proposition Function Non-logical symbol Symbol Interpretation Logic Mathematical logic Formal languages
382	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
383	Context made visible: On the structure of quantified noun phrases Kathryn Davidson (Yale) and Deanna Gagne (UConn) Sign languages sometimes make visible aspects of structure that are covert in spoken languages. Here we a Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:12:16 Semantics Finite model theory Syntactic categories Quantification Predicate logic Determiner Interpretation FO Domain Logic Theoretical computer science Linguistics
384	prefix_inc_prefix_len.eps Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-03-05 13:31:20 SQL keywords Predicate logic Grammar Predicate Semantics Where FO Join Matching Logic Mathematical logic Mathematics
385	On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006 Add to Reading List Source URL: lemma-one.com Language: English - Date: 2006-12-10 08:21:16 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
386	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
387	Non-local reflexive interpretations and the typology of anaphora Giorgos Spathas University of Stuttgart Work on Binding Theory (BT) in different frameworks (e.g, Reinhart and Reuland 1993, Pollard and Sag[removed]converge Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:50 Semantics Predicate logic Reflexive pronoun Free variables and bound variables Predicate Anaphora Ellipsis Princess Zelda The Legend of Zelda Linguistics Syntax Philosophy of language
388	ACSL: ANSI/ISO C Specification Language Version 1.8 ACSL: ANSI/ISO C Specication Language Version 1.8 Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:15 Data types C programming language Primitive types Pointer C ANSI/ISO C Specification Language Pascal Logic programming Predicate Software engineering Computing Computer programming
389	Verifying Two Lines of C with Why3: an Exercise in Program Verification? Jean-Christophe Filliˆatre CNRS LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2011-11-16 09:42:27 Program logic Linear differential equation Formal methods Ordinary differential equations Predicate transformer semantics
390	Common Logic in Support of Metadata and Ontologies Outline • Common Logic Add to Reading List Source URL: cl.tamu.edu Language: English - Date: 2005-04-14 11:03:14 Predicate logic Knowledge representation Model theory Semantics Formal languages Common logic Conceptual graph First-order logic Knowledge Interchange Format Logic Science Mathematical logic

UPDATE